8

Reasoning about connectors using Coq and Z3

Year:
2019
Language:
english
File:
PDF, 644 KB
english, 2019
37

Studies on damping behavior of PS/P(EA-nBA) LIPNs

Year:
1995
Language:
english
File:
PDF, 385 KB
english, 1995
50

Detection of spin bias in a four-terminal quantum-dot ring

Year:
2011
Language:
english
File:
PDF, 322 KB
english, 2011